June 27, 2018 The Honorable Ralph Abraham, Chairman The Honorable Don Beyer, Ranking Member House Committee on Science, Space, and Technology Subcommittee on Oversight 2321 Rayburn House Office Building

Source URL: www.epic.org

• Law enforcement
• Learning
• Law
• Surveillance
• Mobile security
• Telephone tapping
• Electronic Privacy Information Center
• Politics and technology
• Stingray phone tracker
• IMSI-catcher
• Marc Rotenberg
• Carpenter v. United States

Causal Commutative Arrows Hai (Paul) Liu, Eric Cheng, and Paul Hudak Computer Science Department Yale University The 14th ACM SIGPLAN ICFP 2009

Source URL: thev.net

ECM on Graphics Cards Daniel J. Bernstein1 , Tien-Ren Chen2 , Chen-Mou Cheng3 , Tanja Lange4 , and Bo-Yin Yang2 1 Department of Computer Science University of Illinois at Chicago, Chicago, IL 60607–7045, USA

Source URL: precision.moscito.org

• Video cards
• Computer architecture
• Computing
• Graphics hardware
• CUDA
• GeForce
• Graphics processing unit
• Nvidia
• GeForce 500 series
• GeForce 400 series

Poster: Design of Backdoor on Android Devices Junsung Cho, Geumhwan Cho, Sangwon Hyun and Hyoungshick Kim Department of Computer Science and Engineering, Sungkyunkwan University, Republic of Korea Email: {js.cho, geumhwa

Source URL: www.ieee-security.org

• Computing
• Cyberwarfare
• Computer security
• Cryptography
• Cybercrime
• Computer network security
• Backdoor
• Rootkits
• Google Play
• Android
• Firebase
• Password

SLIM: Mmap from the Cloud to Device, and Back Jinghao Shi◦ Mingyuan Xia† Ming Wu‡ Lintao Zhang‡ Zheng Zhang‡ ◦ University of Science and Technology of China

Source URL: apsys11.ucsd.edu

• Computing
• Open formats
• RSS
• Computer file formats
• Data types
• Cloud computing
• Atom
• News aggregator
• Pointer swizzling
• Pointer
• Computer data storage
• Cloudlet

Press Release April 11, 2013 New versions of WS-PGRADE/gUSE and the CloudBroker Platform provide extended cloud access for science gateways

Source URL: www.cloudbroker.com

• Grid computing
• Computing
• Cloud infrastructure
• IT infrastructure
• Concurrent computing
• Hungarian Academy of Sciences
• GUSE
• MTA SZTAKI Laboratory of Parallel and Distributed Systems
• Science gateway
• Pter Kacsuk
• OpenNebula
• OpenStack

Automatic Verification of Competitive Stochastic Systems Taolue Chen, Vojtˇech Forejt, Marta Kwiatkowska, David Parker, and Aistis Simaitis Department of Computer Science, University of Oxford, Oxford, UK

Source URL: qav.comlab.ox.ac.uk

• Mathematics
• Mathematical analysis
• Temporal logic
• Computation tree logic
• Logic in computer science
• Distribution
• Symbol
• Constructible universe
• Linear temporal logic
• Craig interpolation

A Personal View of Average-Case Complexity Russell Impagliazzo Computer Science and Engineering UC, San Diego 9500 Gilman Drive La Jolla, CA

Source URL: www.karlin.mff.cuni.cz

• Computational complexity theory
• Complexity classes
• Analysis of algorithms
• Mathematical optimization
• Structural complexity theory
• P versus NP problem
• NP
• Average-case complexity
• Computational complexity
• Reduction
• Randomized algorithm
• BPP

Efficient Interpolation for the Theory of Arrays (work in progress) Jochen Hoenicke and Tanja Schindler∗ Department of Computer Science, University of Freiburg

Source URL: smt-workshop.cs.uiowa.edu

• Software engineering
• Computer programming
• Computing
• Interpolation
• Video
• Video signal
• Craig interpolation
• Pure
• Foreach loop

Learning a Static Analyzer from Data Pavol Bielik, Veselin Raychev, and Martin Vechev Department of Computer Science, ETH Z¨ urich, Switzerland {pavol.bielik, veselin.raychev, martin.vechev}@inf.ethz.ch

Source URL: files.sri.inf.ethz.ch

• Applied mathematics
• Cognition
• Cybernetics
• Learning
• Machine learning
• Artificial neural network
• Analysis
• Algorithm
• Mathematics